Microsoft Research - PDFSEARCH.IO - Document Search Engine

Microsoft Research
Results: 27951

#	Item
11	Program Synthesis Program Synthesis Sumit Gulwani Microsoft Research Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Software engineering Computing Computer programming Notation Programming language Benjamin C. Pierce P Oz
12	Solving (Quantified) Horn Constraints for Program Verification and Synthesis Andrey Rybalchenko (Microsoft Research) September 30, 2015 Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-10-01 02:29:41
13	RobinHood: Tail Latency-Aware Caching Dynamically Reallocating from Cache-Rich to Cache-Poor Daniel S. Berger (CMU) Joint work with: Benjamin Berg (CMU), Timothy Zhu (PennState), Siddhartha Sen (Microsoft Research), Mor Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-10-15 19:25:55 Cache Computer architecture Latency
14	Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-25 04:45:02 Computer programming Software engineering Combinatorial optimization Matching Monad Conditional
15	Succinct Malleable NIZKs and an Application to Compact Shuffles Melissa Chase Microsoft Research Redmond Markulf Kohlweiss Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptography Computational complexity theory Proof of knowledge Zero-knowledge proof FiatShamir heuristic Malleability Applied mathematics
16	Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57
17	Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2016-06-04 11:31:07 Data types Computing Theoretical computer science Software engineering Heap Tree Separation logic Variable Parse tree Logic programming Linked list
18	Full version of an extended abstract published in ACM CCSTransparency Overlays and Applications Melissa Chase Microsoft Research Redmond Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptography Public key infrastructure Transport Layer Security Cryptocurrencies Bitcoin Alternative currencies Certificate Transparency Peer-to-peer Certificate authority
19	BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations Rishabh Singh Microsoft Research, Redmond, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Formal languages Computer programming Mathematics String Substring Regular expression Rope Expr Hash function Recursion Longest common substring problem
20	Transparency Overlays and Applications Melissa Chase (Microsoft Research Redmond) Sarah Meiklejohn (University College London) (icons by parkjisun from noun project) Add to Reading List Source URL: smeiklej.com - Date: 2018-10-23 14:58:02